Constructions of Models in Fuzzy Logic with Evaluated Syntax
نویسنده
چکیده
This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. It is known that there are many formal systems of fuzzy logic, most of them having traditional syntax and many-valued semantics. Our logic is further generalization, where also syntax is evaluated, i.e. we may consider fuzzy sets of axioms. In the paper we show the possibilities how to construct the model in fuzzy logic with evaluated syntax.
منابع مشابه
Model-Theoretic Constructions in Fuzzy Logic with Evaluated Syntax
This paper studies the model theory as generalization of classical model theory in predicate fuzzy logic with evaluated syntax (Ev L ). There exist a lot of possibilities how to find the models of fuzzy theories. In this paper we will describe the theoretic constructions of the models in Ev L where these models are built by using elementary extensions and downward Löwenheim-Skolem-Tarski theore...
متن کاملSemantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of Lsemantical consequence operation, its some basic properties are obtained. Finally, this pape...
متن کاملInvestigating the Functional Efficiency in the Architecture of Houses in the First Pahlavi Period of Iran based on Syntactic Indicators of Space in Fuzzy Logic (Case Study: Shiraz City)
The concept of functional efficiency of space in the architecture of residential houses, It is to minimize the influence of unrelated activities on each other and also the spatial organization of related activities in Is next to each other; So that their proper productivity depends on optimal service to each other; Accordingly, this study seeks to investigate the degree of functional efficiency...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملFuzzy Propositional Formulas under the Stable Model Semantics
We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax of fuzzy propositional logic, but its semantics distinguishes stable models from non-stable models. The generality of the language allows for highly configura...
متن کامل